A PBPO+ Graph Rewriting Tutorial

Term Graph Rewriting and Parallel Term Rewriting

The relationship between Term Graph Rewriting and Term Rewriting is well understood: a single term graph reduction may correspond to several term reductions, due to sharing. It is also known that if term graphs are allowed to contain cycles, then one term graph reduction may correspond to infinitely many term reductions. We stress that this fact can be interpreted in two ways. According to the ...

Transitive Term Graph Rewriting

A version of generalised term graph rewriting is presented in which redirections are interpreted transitively. It is shown that the new semantics enjoy enhanced properties regarding ease of implementation on distributed machines compared with conventional semantics because of the Church-Rosser properties of transitive redirections. Furthermore, the good properties of orthogonal systems are larg...

Pragmatic Graph Rewriting Modifications

Graph Rewriting and Constraint

In this extended abstract we describe our approach to modelling the dynamics of distributed systems. For distributed systems we mean systems consisting of concurrent processes communicating via shared ports and posing certain synchronization requirements, via the ports, to the adjacent processes. We use graphs to represent states of such systems , and graph rewriting to represent their evolutio...

Term Graph Rewriting

O. Introduction. In this paper we will discuss in an informM way some aspects of t@rm graph rewriting. We will indicate why this subject falls in the scope of higher-order rewriting, and thus in the scope of the present workshop. Our discussion will be loosely structured by a numbered sequence of keywords and phrases, thereby following a talk given at the workshop. In the theory of rewriting, t...